1. Decision procedures
پدیدآورنده : / Daniel Kroening, Ofer Strichman
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
رده :
QA
,
279
.
4
,.
K76
,
2008
2. Decision procedures : an algorithmic point of view
پدیدآورنده : Kroening, Daniel
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
رده :
QA
279
.
4
.
K76D4
2016
